@article{jlap2010,
  title={An Overview of the {K} Semantic Framework},
  author={Grigore Ro\c{s}u and Traian Florin \c{S}erb{\u a}nu\c{t}{\u a} },
  journal={Journal of Logic and Algebraic Programming},
  volume={79},
  number={6},
  pages={397--434},
  year={2010},
  ee={http://dx.doi.org/10.1016/j.jlap.2010.03.012},
  doi={10.1016/j.jlap.2010.03.012},
}


@phdthesis{traian,
  author={Traian Florin {\c S}erb{\u a}nu{\c t}{\u a} },
  title={A Rewriting Approach to Concurrent Programming Language Design and Semantics},
  school={University of Illinois at Urbana-Champaign},
  ee   ={https://www.ideals.illinois.edu/handle/2142/18252},
  year={2010},
  month={December},
}

@inproceedings{wrla2010,
  title={ {K-Maude}:  A Rewriting Based Tool for Semantics of Programming Languages},
  author={Traian Florin \c{S}erbanu\c{t}\u{a} and Grigore Ro\c{s}u},
  booktitle     = {Rewriting Logic and Its Applications - 8th International
               Workshop, WRLA 2010},
  series={Lecture Notes in Computer Science},
  year={2010},
  volume={6381},
  pages     = {104-122},
  ee        = {http://dx.doi.org/10.1007/978-3-642-16310-4_8},
  doi       = {doi:10.1007/978-3-642-16310-4_8},
  editor    = {Peter Csaba {\"O}lveczky},
  isbn      = {978-3-642-16309-8},
}

@proceedings{maude,
  editor    = {Manuel Clavel and
               Francisco Dur{\'a}n and
               Steven Eker and
               Patrick Lincoln and
               Narciso Mart\'{\i}-Oliet and
               Jos{\'e} Meseguer and
               Carolyn L. Talcott},
  title     = {All About Maude - A High-Performance Logical Framework,
               How to Specify, Program and Verify Systems in Rewriting
               Logic},
  booktitle = {All About Maude},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4350},
  year      = {2007},
  isbn      = {978-3-540-71940-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@Book{rewriting,
 author =    "F. Baader and T. Nipkow",
 title =    "Term Rewriting and all that",
 publisher =    "Cambridge University Press",
 address =    "Cambridge",
 year =    "1998",
 ISBN =    "0521455200",
 descriptor =    "Reduktionssystem, Term-Ersetzungssystem, Term",
}

@techreport{csem, 
author = "Chucky Ellison and Grigore Ro{\c s}u", 
institution={University of Illinois}, 
number={http://hdl.handle.net/2142/17414}, 
title = "A Formal Semantics of {C} with Applications", 
month = "November", 
year = "2010", 
}

@techreport{verilog,
author={Patrick O'Neil Meredith and Michael Katelman and Jos{\'e} Meseguer and Grigore Ro\c{s}u},
title={A Formal Executable Semantics of {V}erilog},
institution={University of Illinois at Urbana Champaign},
year={2010},
month={July},
number={http://hdl.handle.net/2142/17079}
}

@inproceedings{java,
title={Formal Analysis of {J}ava Programs in {J}ava{F}{A}{N}},
booktitle={Proceedings of Computer-aided Verification (CAV'04)},        
author={Azadeh Farzan and Feng Chen and Jos\'e Meseguer and Grigore Ro\c{s}u},
series = {LNCS},
volume = {3114},
pages = {501 - 505},
year={2004}
}

@TechReport{scheme1,
author = {Patrick Meredith, Mark Hills, Grigore Ro\c{s}u},
title = "{A K Definition of Scheme}",
institution = {University of Illinois at Urbana-Champaign},
Number     = {Department of Computer Science UIUCDCS-R-2007-2907},
Year       = {2007}
}

@inproceedings{scheme2,
author = {Patrick Meredith, Mark Hills, Grigore Ro\c{s}u},
title = "{An Executable Rewriting Logic Semantics of K-Scheme}",
year = {2007},
editor = {Danny Dube},
booktitle = {Proceedings of the 2007 Workshop on Scheme and Functional Programming (SCHEME'07), Technical Report DIUL-RT-0701},
publisher = {Laval University},
pages = {91--103}
}


@techreport{firstk,
 author = {Grigore Rosu},
 title = {{CS322, Fall 2003 - Programming Language Design: Lecture Notes}},
 year = {2003},
  month = {December},
 Number = {UIUCDCS-R-2003-2897},
 institution = {UIUC},
note = {Lecture notes of a course taught at UIUC},
}

@ARTICLE{cham,
  author    = {G{\'e}rard Berry and
               G{\'e}rard Boudol},
  title     = {The Chemical Abstract Machine},
  journal   = {Theoretical Computer Science},
  volume    = {96},
  number    = {1},
  year      = {1992},
  pages     = {217-248},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{contexts,
  author    = {Andrew K. Wright and
               Matthias Felleisen},
  title     = {A Syntactic Approach to Type Soundness},
  journal   = {Information and Computation},
  volume    = {115},
  number    = {1},
  year      = {1994},
  pages     = {38-94},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{continuations,
	Address = {Ebberup, Denmark},
	Author = {Matthias Felleisen and Daniel P. Friedman},
	Booktitle = {3rd Working Conference on the Formal Description of Programming Concepts},
	Date-Modified = {2006-07-30 22:51:21 +0200},
	Month = aug,
	Pages = {193-219},
	Title = {Control Operators, the {SECD}-Machine, and the Lambda-Calculus},
	Year = 1986
}


@misc{ct:kpage,
  author    = {K Framework - Google Code Page: http://code.google.com/p/k-framework/},
}
